/* echo_eof.c -- repeats input to end of file */
#include <stdio.h>

int main(void) {
  int ch;

  while ((ch = getchar()) != EOF) putchar(ch);

  return 0;
}
